interactive proof system meaning in French
système de preuve interactive
Examples
- There are a number of variants of IP which slightly modify the definition of the interactive proof system.
Il existe un certain nombre de variantes d’IP qui modifient légèrement la définition du système de preuves interactives. - Lund, Carsten; Fortnow, Lance; Karloff, Howard J.; Nisan, Noam (1990), "Algebraic Methods for Interactive Proof Systems", Proc.
Carsten Lund, Lance Fortnow, Howard J. Karloff et link=Noam Nisan, « Algebraic Methods for Interactive Proof Systems », Proc. - The first two of these are properties of more general interactive proof systems.
Les deux premières propriétés sont les mêmes qui servent à définir un système de preuve interactive, qui est un concept plus général. - The concept of an interactive proof system was first introduced by Shafi Goldwasser, Silvio Micali, and Charles Rackoff in 1985.
Le concept de système de preuve interactive a été introduit pour la premièrère fois en 1985 par Shafi Goldwasser, Silvio Micali et Charles Rackoff,. - S. Goldwasser, S. Micali and C. Rackoff, "The knowledge complexity of interactive proof systems", SIAM Journal on Computing, 18, 1989, pp. 186–208.
Shafi Goldwasser, Silvio Micali et Charles Rackoff, « The Knowledge Complexity of Interactive Proof Systems », SIAM Journal on Computing, vol. 18, n° 1, 1989, pp. 186-208.